🔀 SSA Form

Static Single Assignment, Phi Functions, Optimization Analysis, Control Flow

Making SLH-DSA 10x-100x Faster
conduition.io·5h
🔗Hash Algorithms
Flag this post
I built a self-hosted Google Forms alternative and made it open source! 🎉
dev.to·18h·
Discuss: DEV
🌉Language Bridges
Flag this post
10000
jro.sg·17h
📦Executable Size
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Power BI and PowerShell: add RLS roles in bulk
dyota257.bearblog.dev·1d
⚙️Configuration Languages
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
✅Type Checking
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·5h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
My first flash loan protocol: A Solana adventure
dev.to·14h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
<p>**Abstract:** This research introduces a novel framework, Automated License Compliance Verification &#038; Optimization Through Multi-Modal Data Analysis and...
freederia.com·11h
✨Effect Inference
Flag this post
I use these 3 Excel formulas to organize my daily life
howtogeek.com·16h
🪢Rope Algorithms
Flag this post
Mastering Claude Code — A Free Open-Source Handbook for Developers
github.com·9h·
Discuss: DEV
🎭Program Synthesis
Flag this post
From Raw to Refined: Data Pipeline Architecture at Scale
medium.com·9h·
Discuss: DEV
🔄Copy Propagation
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·7h·
Discuss: Lobsters, Hacker News
🏷️Memory Tagging
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·10h·
Discuss: Substack
🏷️Attribute Grammars
Flag this post
JavaScript Clean Code Mastery: Part 2 - Functions That Do One Thing Well
dev.to·22h·
Discuss: DEV
📦Closure Conversion
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
⚡Interpreter Optimization
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post